Reasoning about Durations
نویسندگان
چکیده
منابع مشابه
Reasoning about Durations inMetric Temporal
A formal framework for specifying and verifying real-time systems with a continuous environment is presented. Metric Temporal Logic (MTL) is extended with a duration concept similar to the one in the Duration Calculus (DC). The resulting logic, called MTL-R , is compared with DC and is shown to be more expressive. Axioms for MTL-R and a sound rule to prove that a timed transition system satisse...
متن کاملA New Framework for Reasoning about Points, Intervals and Durations
We present a new framework for reasoning about points , intervals and dura t ions-Poin t Interval Dura t i on Network ( P I D N ) . The P I D N adequately handles bo th qual i ta t ive and quant i ta ive tempora l in fo rmat ion . We show that I n terval Algebra, Point Algebra, TCSP, P D N and A P D N become special cases of P I D N . The under ly ing algebraic structure of P I D N is closed un...
متن کاملTemporal Reasoning with Qualitative and Quantitative Information about Points and Durations
A duration is known as a time distance between two point events. This relationship has recently been formalized as the point duration network (PDN) in (Navarrete & Marin 1997). However, only the qualitative information about points and durations was considered. This paper presents an augmented point duration network (APDN) represent both qualitative and quantitative information about point even...
متن کاملQualitative Temporal Reasoning with Points and Durations
We present here a quali tat ive temporal reasoning system that takes both points and durations as pr imi t ive objects and allows relative and indefinite information. We formaly define a point duration network, as a structure formed by two point algebra (PA) networks separately but not independently, since ternary constraints are introduced for relating point and durat ion informat ion. We adap...
متن کاملUpdates by Reasoning about States Updates by Reasoning about States *
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cognitive Neuroscience
سال: 2020
ISSN: 0898-929X,1530-8898
DOI: 10.1162/jocn_a_01621